Lucas-Interpretation on Isabelle's Functions
نویسندگان
چکیده
منابع مشابه
GCD - A Case Study on Lucas-Interpretation
Lucas-Interpretation [5] combines computation and deduction such that a learner has free choice in interaction while solving problems in applied mathematics: a next step can be requested from the system and/or can be input with feedback from the system. Thus interactive support in stepwise problem solving comes close to traditional paper and pencil work. Next steps are computed by a program, wh...
متن کاملDigital Signature Schemes Based on Lucas Functions Digital Signature Schemes Based on Lucas Functions
Limited distribution notes: This report has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher its distribution outside the University of Technology Chemnitz-Zwickau prior to publication should be limited to peer communications and speciic requests. After outside publication, requests should be lled only by rep...
متن کاملLucas-Interpretation from Users' Perspective
Requirements-engineering for educational software [14] raised the question, how much efforts would be required for implementing substantial material from mechanics [16, 17] in a system based on technology from Computer Theorem Proving (TP). The question appears relevant for several kinds of “users”: for decision makers, for course designers and last not least for staff from faculties of enginee...
متن کاملFrom tent-like functions to Lucas sequences
Counting the number of periodic points of a function leads to results on congruences for the terms of a sequence. Fermat’s little theorem (and also its generalization by Euler) can be proved in a simple way, for instance; see [2] and [3]. The paper [5] contains a characterization of the sequences which are realisable, that is, sequences which actually appear when counting periodic points of fun...
متن کاملOn interpretation of the spin structure functions
The spin structure functions of the system of quasifree fermions on mass shell are studied in a consistently covariant approach. Comparison with the basic formulas following from the quark-parton model reveals the importance of the fermion motion inside the target for the correct evaluation of the spin structure functions. In particular it is shown, that regarding the moment Γ1, both the approa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.328.5